| tractatus.nl | Tractatus.nl | De site combineert de Duitse tekst met inzichten en perspectieven op het werk, waardoor gebruikers het kunnen bekijken als een reeks zinnen, een hiërarchisch stamboom, een netwerk van verbonden ideeën of een zoekbaar object. Wittgenstein karakteriseerde de tekst in een brief uit 1919 als zowel streng filosofisch als literaire, met de nadruk op een bewuste afwezigheid van overbodige inhoud. Een dashboard maakt verschillende leesbenaderingen mogelijk, met functies die reageren op gebruikersinteractie en contextuele informatie bieden over zinsrelaties. | Websites → Voorbeeldpagina’s 23 | zin 76 dashboard 1352 tekst 3937 | |
| appliedlogictudelft.nl | Technische Universiteit Delft | De website beschrijft het Applied Logic Seminar dat wordt georganiseerd aan de Technische Universiteit Delft, waarbij de nadruk ligt op de uitbreiding van de logica buiten traditionele filosofische toepassingen naar gebieden zoals economie, sociale wetenschappen en cognitieve wetenschappen. Logica wordt gepresenteerd als de studie van informatie-stroom en rationele procedures, met behulp van nieuwe systemen om complexiteiten aan te pakken, zoals dynamische veranderingen, onzekerheden en gedeeltelijke informatie. De organisatoren van het seminar, Alessandra Palmigiano, Giuseppe Greco en Umberto Rivieccio, zijn verbonden aan de Faculteit Technologie, Beleid en Bestuur (TPM) en de Afdeling Ethiek/Filosofie van Technologie aan TU Delft. | Filosofie → Ethiek 441 | logica 22 seminar 282 filosofie 545 universiteit 555 technologie 4791 | |
| annemarieborg.nl | Universiteit Utrecht | AnneMarie Borg richt zich op de verbinding tussen theoretische argumentatie en praktische toepassingen, waarbij ze de kloof probeert te dichten tussen bestaande theorieën en praktische eisen. Haar onderzoeksinteresses omvatten de dynamische aspecten van argumentatie en de integratie ervan in uitlegbaar kunstmatige intelligentie. Ze is momenteel aanstelling als assistent-professor binnen de Responsible AI Group aan de Universiteit Utrecht, en was eerder postdoctoraal onderzoeker bij het Nationaal Politie Lab AI en heeft haar PhD behaald aan de Ruhr Universiteit Bochum. | Kunstmatige Intelligentie & Data Science → Kunstmatige Intelligentie 1486 | argumentatie 19 kunstmatige intelligentie 224 universiteit 555 onderzoek 9648 | Oost → Rijnsweerd 143 |
| robinmartinot.nl | Ruhr Universiteit Bochum | Robin Martinot werkt momenteel als wetenschappelijk personeelslid aan het ERC Advanced Grant project 'Contradictory Logics' aan de Ruhr Universiteit Bochum. Hij heeft onlangs zijn promotieonderzoek, getiteld 'Formalisering van Ideeën van Bewijs,' verdedigd aan de Universiteit van Utrecht, als onderdeel van het NWO-gefinancierde project 'Optimal Proofs'. Zijn onderzoek interesses omvatten de filosofie van logica en wiskunde, bewijstheorie en het gebruik van formele methoden om intuïtieve concepten te verduidelijken. Hij heeft verschillende publicaties en lopende onderzoeks projecten. | | filosofie 545 promotie 830 publicatie 1909 onderzoek 9648 | |
| tvandijk.nl | Universiteit van Twente | Tom van Dijk is een assistent-professeur aan de Universiteit van Twente, met een focus op technieken voor formele verificatie en synthese. Zijn onderzoek omvat het oplossen van parity games met behulp van beslissingsdiagrammen en SAT/SMT-oplossaars, evenals het ontwikkelen van bruikbare onderzoekstools zoals Sylvan en Oink. Hij heeft aanzienlijke bijdragen geleverd aan de ontwikkeling van beslissingsdiagrampakketten en parity game-oplossaars, waaronder Sylvan, Oink, SigrefMC en de synthese tool Knor, die worden gebruikt in verschillende modelchecking- en symbolische bisimulatie toepassingen. | Computerwetenschappen → Software Engineering 419 | synthese 15 algoritmen 127 | |
| hermanslatman.nl | Herman Slatman | Herman Slatman werkt momenteel aan 'Holmes,' een beveiligde router die gebruikers meer inzicht en controle geeft over hun thuisnetwerk. Hij heeft zijn specialisatie in Computer & Informatiebeveiliging, bekend als het Kerckhoffs Instituut, voltooid aan de Universiteit van Twente tussen 2009 en 2016, een samenwerkingsprogramma met verschillende universiteiten. Slatman is geïnteresseerd in computer- en informatiebeveiliging, e-commerce, machine learning en internettechnologie in het algemeen en heeft ervaring met verschillende webplatformen, zoals WordPress, Magento en Drupal. | Software Ontwikkeling → Computerwetenschappen 950 | router 150 universiteit 555 beveiliging 5017 software 8234 netwerk 11755 | Enschede → Calslaan 52 |
| thomvangessel.nl | TNO | Thom van Gessel is een onderzoeker gespecialiseerd in logica, kennisrepresentatie en redeneren, momenteel werkzaam bij TNO in Nederland. Zijn proefschrift, ‘Questions in Context,’ onderzoekt de contextuele aard van vragen en ontwikkelt een semantisch kader om dit fenomeen vast te leggen. Van Gessel’s publicaties omvatten artikelen in tijdschriften zoals ‘Journal of Philosophical Logic’ en ‘The Review of Symbolic Logic,’ evenals conference proceedings en een doctoraalscriptie van de Universiteit van Amsterdam. | Kunstmatige Intelligentie & Data Science → Kunstmatige Intelligentie 1486 | tno 11 logica 22 universiteit 555 publicatie 1909 vraag 2293 onderzoek 9648 | Noord-Holland → Amsterdam 41253 |
| ikemulder.nl | Ike Mulder | Ike Mulder is momenteel werkzaam als Applied Scientist bij Amazon Web Services, na eerder als promovendus te hebben gewerkt aan de Radboud Universiteit Nijmegen onder begeleiding van Robbert Krebbers en Herman Geuvers. Zijn onderzoek richt zich op geformaliseerde wiskunde, formele softwareverificatie en stellingbewijzingsautomatisering, met bijzondere nadruk op tools zoals Diaframe en Iris. Mulder's recente publicaties en presentaties benadrukken zijn werk op het gebied van automatische verificatietechnieken, waaronder acceptatie op prestigieuze conferenties zoals PLDI, CPP en OOPSLA, evenals lezingen op workshops zoals Iris. | Computerwetenschappen → Software Engineering 419 | promotor 14 iris 28 publicatie 1909 | Nijmegen → Nijmegen-Midden 205 |
| deeconometrist.nl | De Econometrist | De site bevat artikelen zoals een analyse van Gödel's Onvolledigheidsstellingen, die de implicaties van wiskundige beperkingen op logische systemen onderzoekt. Het bespreekt Brandon Carter's Doomsday Argument, dat probabilistische redenering gebruikt om de menselijke levensduur te overwegen en de implicaties voor econometrie. De site herinnert zich ook aan de activiteiten van het VII VESTING Lustrum, een herdenkingsevenement, en gaat na of machine learning econometrie kan vervangen. | Zakelijk → Economie 70095 | machine learning 174 voorspelling 184 kans 391 data 5412 | |
| hermanpeeren.nl | Herman Peeren | De website richt zich voornamelijk op domeinmodellering, met content die analyseert en suggesties doet voor verbeteringen in modelleringstechnieken. Een presentatie uit 2019 beschrijft de ‘Cut & Shave’ aanpak van domeinmodellering, met een barbershop-analogie om het proces van het verfijnen en herstructureren van concepten met betrekking tot softwareontwerp en begrip te illustreren. Herman Peeren, een creatieve ontwikkelaar, draagt zijn gedachten en aangepaste applicaties bij aan de website, waarbij de verbinding tussen informatica, filosofie en de kracht van taal wordt benadrukt bij het vormen van modellen. | Software Development → Software Architectuur 16 | context 93 presentatie 1730 taal 1960 software 8234 | |
| wouterlueks.nl | Wouter Lueks | Wouter Lueks is momenteel faculteitslid van het CISPA Helmholtz Center for Information Security in Saarbrucken, Duitsland, en is op zoek naar PhD-kandidaten en Postdocs om zijn laboratorium te rejoindre. Zijn onderzoek richt zich op het ontwikkelen van veilige en praktische systemen door middel van toegepaste cryptografie, anonieme communicatie en systeemtechniek, gebaseerd op eerdere ervaringen als postdoctoraal onderzoeker aan EPFL in Zwitserland en als promovendus aan de Radboud Universiteit in Nederland. Tijdens zijn promotietijd had hij de kans om samen te werken met Ian Goldberg aan de University of Waterloo in Canada, wat wijst op een internationaal netwerk van onderzoeks samenwerking. | Software Ontwikkeling → Computerwetenschappen 950 | promotor 14 cryptografie 30 systeem 4464 onderzoek 9648 samenwerking 16762 | |
| aie.nl | AIE | Kunstmatige intelligentie-engineering wordt beschreven als het combineren van verschillende disciplines – zoals ingenieurs-, software-, computerwetenschappelijke en zakelijke ontwerpprincipes – om intelligente systemen te creëren die in staat zijn om doelen te bereiken. De website behandelt grote hoeveelheden data, systeemarchitectuur en organisatorische processen om slimme machines te ontwikkelen en baanbrekende technologieën te creëren. Het organiseert de inhoud rond drie hoofdlijnen van discussie: ‘Dutch Cows on Dope,’ ‘Theorie, Model, Systeem’ en ‘Idiosyncracies 1,’ met verwijzingen naar filosofische teksten en artistieke prestaties. | Kunstmatige Intelligentie & Data Science → Kunstmatige Intelligentie 1486 | kunstmatige intelligentie 224 theorie 954 model 3492 systeem 4464 data 5412 | |
| desda.nl | Desda | De website beschrijft de basis van de uitdrukking 'Dan En Slechts Dan Als', die equivalentie tussen twee uitspraken benadrukt. Desda werd opgericht door Walther Lenting in 1995, na zijn afstuderen als natuurkundige. Zijn onderzoek richtte zich op de karakterisatie van gasdepositie van Silicium als basismateriaal voor zonnecellen. | | silicium 12 | |
| pragmathics.nl | Pragmathics | De eerste publicatie reflecteert op een periode van inactiviteit en stelt voor om de inhoud van de blog en mogelijke verbeteringen te herzien. Een artikel richt zich op relationele databases, waarbij de nadruk ligt op het begrijpen van wiskundige relaties, wat vaak over het hoofd wordt gezien door databasegebruikers. Andere artikelen zullen hierop voortbouwen om meer geavanceerde wiskundige technieken in de context van databases te introduceren, waaronder differentieel privacy en informatietheorie. | Software Ontwikkeling → Computerwetenschap 73 | wiskunde 294 database 1081 privacy 1255 relatie 4154 artikel 6564 | |
| sudokutips.nl | sudokutips.nl | De website biedt een online Sudoku oplosser waarmee gebruikers puzzels kunnen oplossen en oefenen. Gebruikers kunnen Sudoku oefeningen afdrukken van verschillende moeilijkheidsgraden, van makkelijk tot moeilijk. De website beschrijft verschillende Sudoku technieken, zoals 'Naked Single' en 'Hidden Single', en biedt stap-voor-stap uitleg en oefenmogelijkheden. | Entertainment → Spelletjes 1130 | sudoku 24 puzzel 778 techniek 4031 strategie 8787 | |
| assessmentoefenen.nl | assessmentoefenen.nl | De site biedt artikelen met video uitleg en oefentesten voor verschillende soorten assessments. Er is mogelijkheid om losse onderdelen van assessments te oefenen, zoals kubussen, analogieën en cijferreeksen. Het Assessment Coaching programma biedt toegang tot cursussen zoals de Capaciteitentest Oefenkit, Assessment Training en een Assessment Gids. | Opleiding → Professionele Opleidingen 1125 | oefenen 120 assessment 486 video 5928 cursus 12810 | |
| fredhijzen.nl | Fred Hijzen | De site behandelt onderwerpen zoals de relatie tussen muziek en wiskunde, met specifieke aandacht voor de ‘valse piano’ en de theorieën van Pythagoras. Er zijn verschillende afdelingen gewijd aan wiskundige concepten, waaronder Fibonacci, de Gulden Snede, fractals en diverse berekeningen (zoals φ, de grote terts en logaritmen). Een deel van de site is gewijd aan de geschiedenis van de Looydijk en De Bilt, met links naar relevante externe bronnen en een samenvatting van de voormalige site looijdijk.nl. | Kunst & Theater → Muziek 20600 | wiskunde 294 geschiedenis 5997 muziek 13084 | Stichtse Vecht → Tienhoven 96 |
| brainwizard.nl | Brainwizard | Het platform biedt diverse puzzels, waaronder Sudoku en Wordle, en leert spelers de regels van Sudoku en geavanceerde technieken voor het oplossen van Sudoku-puzzels. Brainwizard bevat ook informatie over de geschiedenis van Sudoku, leuke weetjes en een Sudoku-woordenboek om moeilijke termen uit te leggen. Gebruikers hebben toegang tot meer dan duizend Sudoku-puzzels en worden uitgedaagd om deze met diverse technieken op te lossen. | Online Spellen → Puzzelspellen 43 | sudoku 24 woordenboek 89 puzzel 778 techniek 4031 | |
| fransvandoorne.nl | N/A | De website richt zich voornamelijk op Habermas' onderzoeksprogramma, waaronder publicaties zoals ‘Twee onder economen gangbare opvattingen van rationaliteit’ en ‘Maatschappelijke werkelijkheid en economische wetenschap’. Hier worden Michael Tomasselo’s werk, met name ‘Origins of Human Communication’, en Habermas’ eigen erkenning van Tomasselo’s prestaties, waaronder de Hegel Prijs, genoemd. Het materiaal benadrukt het belang van empirisch bewijs en experimenteel onderzoek om Habermas’ theoretische concepten te valideren, waarbij Tomasselo’s werk als voorbeeld wordt aangehaald. | Filosofie & Ethiek → Filosofie 2120 | theorie 954 onderzoek 9648 | |
| jeroen.goudsmit.nl | Jeroen Goudsmit | De eerste artikel bespreekt Rybakov's algoritme voor intuïtionele propositielogica, een oplossing voor een probleem gesteld door Friedman, en Goudsmit's verbinding van deze aanpak met gevestigde concepten, wat resulteert in een gepubliceerd artikel over besluitbaarheid. Een ander artikel onderzoekt de rol van technologische systemen in compliance, met name het onderzoek naar transactiemonitoringssystemen na een gebeurtenis in de financiële sector en het toenemende gebruik van machine learning-methoden voor risicobeperking. Een derde artikel beschrijft een machine learning-gebaseerd classificatiemodel van kijkgedrag dat voortkwam uit een lezing over aandacht, en illustreert de mogelijke impact van het delen van wetenschappelijke ideeën met een breder publiek. | Textiel & Mode → Zakelijke Activiteiten 8929 | logica 22 algoritme 199 kunstmatige intelligentie 224 compliance 361 risico 2787 model 3492 | |
| janderuiter.jouwweb.nl | J. de Ruiter | De website behandelt onderwerpen variërend van paranormale zaken en historische gebeurtenissen zoals de agrarische revolutie en de terreur van Stalin tot filosofie en wetenschap. Het biedt inzichten in complexe problemen, pseudowetenschappelijke opvattingen en de ontwikkeling van het menselijk brein, met verwijzingen naar auteurs zoals Y.N. Harari, Rutger Bregman en Daniel Kahneman. De website moedigt tot verder nadenken en biedt bronnen en methoden, zoals oplossingen voor sudoku's en een syllabus over kansrekening en statistiek, met de suggestie om een eigen website te maken met JouwWeb. | Geschiedenis → Algemene Geschiedenis 29 | verwondering 44 brein 288 theorie 954 onderwerp 1175 probleem 2200 artikel 6564 | |